21. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
22. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
23. Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
پدیدآورنده : Hirschfeldt, Denis Roman
کتابخانه: (طهران)
موضوع : ، Reverse mathematics,، Computable functions,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
1187
24. Introduction to mathematical logic
پدیدآورنده : Elliott Mendelson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Problems, exercises, etc.,Logic, Symbolic and mathematical.
رده :
QA9
.
E455
2015
25. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
26. Language and Automata Theory and Applications :
پدیدآورنده : Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.
رده :
QA267
.
L38
2019eb
27. Mathematical Foundations of Computer Science 1977 :
پدیدآورنده : by J. Gruska.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
رده :
QA267
.
B954
1977
28. Multi-Dimensional Modal Logic
پدیدآورنده : by Maarten Marx, Yde Venema.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
29. Outline of mathematical logic :
پدیدآورنده : Andrzej Grzegorczyk
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA9
.
A537
2013
30. Proof analysis :
پدیدآورنده : Sara Negri, Jan von Plato
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
N438
2011
31. Proof analysis
پدیدآورنده : / Sara Negri, Jan von Plato
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory
رده :
E-BOOK
32. Reachability Problems
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer systems -- Verification -- Congresses,Decidability (Mathematical logic) --Congresses,Graph theory -- Data processing -- Congresses,گرافها -- دادهپردازی -- کنگرهها
رده :
E-Book
,
33. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
34. Reachability problems :
پدیدآورنده : Antonín Kučera, Igor Potapov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems-- Verification, Congresses.,Configurations, Congresses.,Decidability (Mathematical logic), Congresses.,Computer systems-- Verification.,Configurations.,Decidability (Mathematical logic),Erreichbarkeit.,Erreichbarkeitsmenge.,Zustandsgraph.,Brünn 2010, 7
رده :
QA76
.
76
.
V47
R58
2010
35. Reachability problems
پدیدآورنده : Olivier Bournez, Igor Potapov, (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems-- Verification, Congresses,Configurations, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R58
2009
36. Reachability problems
پدیدآورنده : Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R6
2012eb
37. Reachability problems :
پدیدآورنده : Parosh Aziz Abdulla, Igor Potapov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
رده :
QA76
.
76
.
V47
P376
9999